1. Tools and Algorithms for the Construction and Analysis of Systems
پدیدآورنده : \ Christel Baier, Cesare Tinelli (eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : System design -- Congresses.,Computer software -- Verification -- Congresses.,System analysis -- Congresses.,طراحی سیستم -- کنگرهها ,نرمافزار -- راستیآزمایی -- کنگره ها
رده :
QA76
.
9
.
T33
2010
E-Book
,
